Uno Spazio Vettoriale è un "terreno di gioco" matematico rigoroso definito non dalla natura degli oggetti, ma dal loro comportamento. Che tu abbia a che fare con frecce in $\mathbf{R}^n$, matrici in $\mathbf{M}$ o funzioni continue, le stesse regole si applicano.
Gli Otto Assiomi dello Spazio
Qualsiasi insieme di oggetti è uno spazio vettoriale se obbedisce a queste regole fondamentali:
- 1. Commutatività: $x + y = y + x$
- 2. Associatività: $x + (y + z) = (x + y) + z$
- 3. Vettore Nullo: Esiste un unico $0$ tale che $x + 0 = x$
- 4. Inversi: Per ogni $x$, esiste un unico $-x$ tale che $x + (-x) = 0$
- 5. Identità: $1x = x$
- 6. Associatività scalare: $(c_1c_2)x = c_1(c_2x)$
- 7. Distributività (I): $c(x + y) = cx + cy$
- 8. Distributività (II): $(c_1 + c_2)x = c_1x + c_2x$
Definizione di Sottospazi
Un sottospazio $S$ di $V$ è un sottoinsieme chiuso rispetto alle operazioni dello spazio più grande. Non puoi mai uscire dal sottoinsieme sommando i suoi elementi o moltiplicandoli per uno scalare.
Teorema della Chiusura
Un sottoinsieme $S$ è un sottospazio se e solo se per ogni $v, w \in S$ e ogni scalare $c, d$:
$$cv + dw \in S$$
Questo implica che $S$ deve contenere il vettore nullo ($0 \in S$), perché $0v = 0$.Il Span e la Somma
Il span di un insieme $S$ è il più piccolo sottospazio che contiene tutti i vettori in $S$:
$$SS = \text{tutti i } c_1v_1 + \dots + c_nv_n$$
Inoltre, dati due sottospazi $S$ e $T$, la loro somma $S + T$ (che contiene tutti i vettori $s+t$) forma un nuovo sottospazio. Nota che l' unione $S \cup T$ è quasi mai un sottospazio!
🎯 Il Test del "Zero"
Il modo più veloce per escludere un sottoinsieme da essere un sottospazio è verificare la presenza del vettore nullo. Se $x=0$ non è incluso, non può essere un sottospazio. Gli errori comuni includono piani spostati rispetto all'origine o quadranti che escludono valori negativi.